KERNEL_OBJS = output/myOS/kernel/tick.o \
			output/myOS/kernel/wallClock.o \
			output/myOS/kernel/setjmp.o \
			output/myOS/kernel/exception.o